"\$x" $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$'\$x'2